Logic programming - PDFSEARCH.IO - Document Search Engine

Logic programming
Results: 2694

#	Item
71	AAAI Proceedings Template Add to Reading List Source URL: qr15.sift.net Language: English - Date: 2015-08-11 09:14:44 Knowledge representation Reasoning Constraint programming Cognition Computational topology Region connection calculus Mathematics Cognitive science Logic
72	Reconciling Semantics, Implementation and Users Gérard Berry INRIA Sophia-Antipolis http://www-sop.inria.fr/Gerard.Berry Add to Reading List Source URL: events.inf.ed.ac.uk Language: English - Date: 2012-10-10 03:52:00 Theoretical computer science Logic in computer science Software engineering Computer science Hardware description languages Synchronous programming languages Formal methods Denotational semantics Esterel Robin Milner Milner Logic for Computable Functions
73	A Constraint-based Partial Evaluator for Functional Logic Programs and its Application Laura Lafave A thesis submitted to the University of Bristol in accordance with the Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:10 Software engineering Programming paradigms Computing Theoretical computer science Evaluation strategy Incremental computing Partial evaluation Logic programming Functional programming Algorithm Programming language Evaluation
74	The Andromeda proof assistant Andrej Bauer University of Ljubljana Workshop on Categorical Logic and Univalent Foundations Add to Reading List Source URL: math.andrej.com Language: English - Date: 2016-07-28 09:19:23 Software engineering Software Programming language theory Type theory Proof assistants Functional languages Agda Univalent foundations Mathematical logic Coq Type system
75	Type Theory and Constructive Mathematics Type Theory and Constructive Mathematics Thierry Coquand University of Gothenburg Add to Reading List Source URL: events.cs.bham.ac.uk Language: English - Date: 2012-04-24 12:00:17 Proof theory Dependently typed programming Logic in computer science Type theory Riemann surfaces Mathematics Philosophy of mathematics CurryHoward correspondence Logic Orbifold
76	Revisiting: Algebraic laws for nondeterminism and concurrency Matthew Hennessy Milner-Symposium, Edinburgh Add to Reading List Source URL: events.inf.ed.ac.uk Language: English - Date: 2012-10-10 03:52:01 Theoretical computer science Logic in computer science Formal methods Programming language semantics Models of computation Denotational semantics Process calculi Matthew Hennessy Semantics Maurice Nivat Bisimulation Negation
77	Automatic selection of table areas in documents for information extraction Ana Costa e Silva1, Alípio Jorge2, Luís Torgo2 1 2 Add to Reading List Source URL: www.dcc.fc.up.pt Language: English - Date: 2012-12-13 10:18:40 Computing Data management Arrays Computer programming Algorithm Mathematical logic Theoretical computer science Join Lookup table HTML element Periodic table Hash table
78	Hybrid Session Verification through Endpoint API Generation Raymond Hu and Nobuko Yoshida Imperial College London Abstract. This paper proposes a new hybrid session verification methodology for applying session types di Add to Reading List Source URL: mrg.doc.ic.ac.uk Language: English - Date: 2016-08-22 17:55:56 Software engineering Computing Computer programming Adder Binary logic Computer arithmetic Objective-C Application programming interface Go
79	Look-back Techniques for ASP Programs with Aggregates Wolfgang Faber1 , Nicola Leone1 , Marco Maratea1,2 , and Francesco Ricca1 1 Department of Mathematics, University of Calabria, 87036 Rende (CS), Italy Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2008-11-30 17:58:06 Logic Mathematics Mathematical logic Logic programming Model theory Stable model semantics Modal logic Substitution FO Binomial coefficient
80	What Not to Do When Writing an Interpreter for Specialisation Neil D. Jones DIKU, University of Copenhagen e-mail: Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:36 Software engineering Computing Theoretical computer science Logic in computer science Models of computation Programming language semantics Formal methods Subroutines Denotational semantics Semantics Partial evaluation Interpreter